Can we enforce full compositionality in uncertainty cak
نویسندگان
چکیده
compositionality. At AAAI’93, Elkan has claimed to have a result trivializing fuzzy logic. This trivialization is based on too strong a view of equivalence in fuzzy logic and relates to a fully compositional treatment of uncertainty. Such a treatment is shown to be impossible in this paper. We emphasize the distinction between i) degrees of partial truth which are allowed to be truth functional and which pertain to gradual (or fuzzy) propositions, and ii) degrees of uncertainty which cannot be compositional with respect to all the connectives when attached to classical propositions. This distinction is exemplified by the difference between fuzzy logic and possibilistic logic. We also investigate an almost compositional uncertainty calculus, but it is shown to lack expressiveness.
منابع مشابه
Can We Enforce Full Compositionality in Uncertainty Calculi?
At AAAI'93, Elkan has claimed to have a result trivializing fuzzy logic. This trivialization is based on too strong a view of equivalence in fuzzy logic and relates to a fully compositional treatment of uncertainty. Such a treatment is shown to be impossible in this paper. We emphasize the distinction between i) degrees of partial truth which are allowed to be truth functional and which pertain...
متن کاملFission yeast Csk1 is a CAK-activating kinase (CAKAK).
Cell cycle progression is dependent on the sequential activity of cyclin-dependent kinases (CDKs). For full activity, CDKs require an activating phosphorylation of a conserved residue (corresponding to Thr160 in human CDK2) carried out by the CDK-activating kinase (CAK). Two distinct CAK kinases have been described: in budding yeast Saccharomyces cerevisiae, the Cak1/Civ1 kinase is responsible ...
متن کاملThe Cdk-Activating Kinase (CAK) from Budding Yeast
Activation of the cyclin-dependent kinases to promote cell cycle progression requires their association with cyclins as well as phosphorylation of a threonine (residue 161 in human p34cdc2). This phosphorylation is carried out by CAK, the Cdk-activating kinase. We have purified and cloned CAK from S. cerevisiae. Unlike CAKs from other organisms, Cak1p is active as a monomer, has full activity w...
متن کاملProving Concurrent Noninterference
We perform a formal analysis of compositionality techniques for proving possibilistic noninterference for a while language with parallel composition. We develop a uniform framework where we express a wide range of noninterference variants from the literature and compare them w.r.t. their contracts: the strength of the security properties they ensure weighed against the harshness of the syntacti...
متن کاملMms19 is a mitotic gene that permits Cdk7 to be fully active as a Cdk-activating kinase
Mms19 encodes a cytosolic iron-sulphur assembly component. We found that Drosophila Mms19 is also essential for mitotic divisions and for the proliferation of diploid cells. Reduced Mms19 activity causes severe mitotic defects in spindle dynamics and chromosome segregation, and loss of zygotic Mms19 prevents the formation of imaginal discs. The lack of mitotic tissue in Mms19P/P larvae can be r...
متن کامل